Automatikos terminų žodynas. – Vilnius: Technika. Vilius Antanas Geleževičius, Angelė Kaulakienė, Stanislovas Marcinkevičius. 2004.
Monadic Boolean algebra — In abstract algebra, a monadic Boolean algebra is an algebraic structure with signature 〈A, ·, +, , 0, 1, ∃〉 of type 〈2,2,1,0,0,1〉, where 〈A, ·, +, , 0, 1〉 is a Boolean algebra. The prefixed unary operator ∃ denotes the existential quantifier,… … Wikipedia
monadischer Boolescher Operator — vienvietis loginis operatorius statusas T sritis automatika atitikmenys: angl. monadic Boolean operator vok. monadischer Boolescher Operator, m rus. одноместный логический оператор, m pranc. opérateur logique à une place, m; opérateur monadique… … Automatikos terminų žodynas
List of Boolean algebra topics — This is a list of topics around Boolean algebra and propositional logic. Contents 1 Articles with a wide scope and introductions 2 Boolean functions and connectives 3 Examples of Boolean algebras … Wikipedia
Modal operator — In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the formal property of being non truth functional, and is intuitively characterised by expressing a modal attitude (such… … Wikipedia
opérateur logique à une place — vienvietis loginis operatorius statusas T sritis automatika atitikmenys: angl. monadic Boolean operator vok. monadischer Boolescher Operator, m rus. одноместный логический оператор, m pranc. opérateur logique à une place, m; opérateur monadique… … Automatikos terminų žodynas
opérateur monadique de Boole — vienvietis loginis operatorius statusas T sritis automatika atitikmenys: angl. monadic Boolean operator vok. monadischer Boolescher Operator, m rus. одноместный логический оператор, m pranc. opérateur logique à une place, m; opérateur monadique… … Automatikos terminų žodynas
vienvietis loginis operatorius — statusas T sritis automatika atitikmenys: angl. monadic Boolean operator vok. monadischer Boolescher Operator, m rus. одноместный логический оператор, m pranc. opérateur logique à une place, m; opérateur monadique de Boole, m … Automatikos terminų žodynas
одноместный логический оператор — vienvietis loginis operatorius statusas T sritis automatika atitikmenys: angl. monadic Boolean operator vok. monadischer Boolescher Operator, m rus. одноместный логический оператор, m pranc. opérateur logique à une place, m; opérateur monadique… … Automatikos terminų žodynas
Interior algebra — In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and… … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
